- Гентцен
- Gentzen
Русско-английский словарь по машиностроению. Академик.ру. 2011.
Гентцен
Смотреть что такое "Гентцен" в других словарях:
Лётчик-ас — У этого термина существуют и другие значения, см. Ас. Ас (фр. as «туз»; первый в своей области) мастер воздушного боя. Впервые это слово было применено в Первую мировую войну к военным лётчикам, в совершенстве владеющим… … Википедия
Список логиков — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
Список статей по математической логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
Формальная семантика — Для термина «семантика» см. другие значения. Формальная семантика это изучение семантики, или интерпретации, формальных и естественных языков путём их формального описания в математических терминах. Формальный язык может быть задан без… … Википедия
